Added literal-level simplification to the "Weaken Safety Assumptions" extension