er, _remove_unfulfillable_rules_and_dependents, which calls the above