Statement simplification