Rename filter_incorrectly_cons to correct_cons