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

Bug in Simplification
Deriving SEnv Foldable, Traversable.