[more static context knowledge
martin.hofmann@uni-bamberg.de**20090722082050] hunk ./src/Context/SynthesisContext.hs 160
+    ,(ConT ''Int,[''Eq, ''Ord])