Hello,
is it possible to query a relational whether it has an undecidable
value, e.g. assuming a is a symbol:
if (a > 3) ...
currently always gives false, but I would like to be able to find out
whether the comparison actually makes sense.
Thanks,
Jan