Apply definitional equality rules to simplify the program as much as possible. This effectively includes inlining of every non-recursive definition.
