Function settle 

pub fn settle(
    suite: &Suite,
    prec: &Precedence,
    state: &Condition,
    exempt_by: &[ExpId],
) -> (Condition, Vec<ExpId>)

Apply every invariant whose Given certainly holds, until nothing changes. Invariants that one of exempt_by overrides are skipped.