pub fn for_model(
    model: &Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>
) -> Result<Invariants, Error>