smaller bad example
edit in args_leq
check same args
Merge pull request #33 from ucsd-progsys/simplification

Bug in Simplification