added simplification counter