SimplifyPostConds.curry 8.64 KB