Simplify checker