-- | generates the name of the phi variable of a concrete predicate
psiName :: Id -> Id
psiName s = mkId [mkSimpleId $ "Psi_" ++ show s]
psiName :: Id -> Id
psiName s = mkId [mkSimpleId $ "Psi_" ++ show s]
psiName s = mkId [mkSimpleId $ "Psi_" ++ show s]