implement Proposition#simplify