Simplifies a statement