rn logicalBinary ++ [logicalUnary,ilaRels,ilaOps]
getprec = getprec' 
opsByPrec = map return logicalBinary ++ [logicalUnary,ilaRels,ilaOps]
opsByPrec = map return logicalBinary ++ [logicalUnary,ilaRels,ilaOps]