Add Rule#has_fact?