[BUGFIX: fold must call argument function GT to precent non-terminating hypos
martin.hofmann@uni-bamberg.de**20090929074737] hunk ./src/RuleDevelopment/UniProp.hs 125
-    return (S.fromList [cr',afcr],[(name cr',afnm, EQ)])
+    return (S.fromList [cr',afcr],[(name cr',afnm, GT)])