Simplify a method of Expression.
Add a new test for Program class, while it fails.