ing -> Bool
isIlaSymbol = liftA2 (||) (`elem` (ilaOps++ilaRels++logicalConstants)) isIntegerConstant

isIntegerConstan
isIlaSymbol :: String -> Bool
isIlaSymbol = liftA2 (||) (`elem` (ilaOps++ilaRels++logicalConstants)) isIntegerConstant
isIlaSymbol = liftA2 (||) (`elem` (ilaOps++ilaRels++logicalConstants)) isIntegerConstant