Fix simplification

This should fix the simplification bug when () is in a program.