non relational ILA symbol
isIlaFn :: String -> Bool
isIlaFn = liftA2 (||) (`elem` (ilaOps)) isIntegerConstant

baseEnv = zip lo
isIlaFn :: String -> Bool
isIlaFn = liftA2 (||) (`elem` (ilaOps)) isIntegerConstant
isIlaFn = liftA2 (||) (`elem` (ilaOps)) isIntegerConstant