test simplification resolutions