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