Index of class attributes

N
next_id [CfLazyModelChecker.Make_Lazy_Model_Checker.tree_node_creator]