added isNumericOrBool to both Node and tarval
use isNumericOrBool as constraint on phi and cmp