eva can now be used to check for simplification