Add function Clause.simplify_all