SimplifyPostConds.curry 8.65 KB