["\"import_node\"", "\"models/SimpleClassDiagrams\"", "\"SCD\"", "\"instantiate_model\"", "\"SCD\"", "\"PetriNets\"", "\"define_inheritance\"", "\"PetriNets\"", "\"Inheritance\"", "\"instantiate_node\"", "\"PetriNets\"", "\"Class\"", "\"Natural\"", "\"add_constraint\"", "\"PetriNets\"", "\"Natural\"", "\"funcdef\"", "\"constraint\"", "2", "\"0\"", "\"1\"", "\"declare\"", "\"2\"", "true", "\"assign\"", "\"resolve\"", "\"2\"", "\"call\"", "\"access\"", "\"resolve\"", "\"dict_read\"", "2", "\"call\"", "\"access\"", "\"resolve\"", "\"dict_read\"", "2", "\"access\"", "\"resolve\"", "\"0\"", "\"const\"", "\"model\"", "false", "\"access\"", "\"resolve\"", "\"1\"", "false", "true", "\"if\"", "\"call\"", "\"access\"", "\"resolve\"", "\"bool_not\"", "1", "\"call\"", "\"access\"", "\"resolve\"", "\"is_physical_int\"", "1", "\"access\"", "\"resolve\"", "\"2\"", "false", "false", "\"return\"", "true", "\"const\"", "\"Natural has no integer value\"", "true", "\"if\"", "\"call\"", "\"access\"", "\"resolve\"", "\"integer_lt\"", "2", "\"access\"", "\"resolve\"", "\"2\"", "\"const\"", "0", "false", "\"return\"", "true", "\"const\"", "\"Natural does not have a positive or zero value\"", "true", "\"return\"", "true", "\"const\"", "\"OK\"", "false", "false", "false", "\"instantiate_node\"", "\"PetriNets\"", "\"Class\"", "\"Place\"", "\"instantiate_link\"", "\"PetriNets\"", "\"Association\"", "\"Place_tokens\"", "\"Place\"", "\"Natural\"", "\"instantiate_attribute\"", "\"PetriNets\"", "\"Place_tokens\"", "\"name\"", "\"tokens\"", "\"instantiate_node\"", "\"PetriNets\"", "\"Class\"", "\"Transition\"", "\"instantiate_link\"", "\"PetriNets\"", "\"Association\"", "\"P2T\"", "\"Place\"", "\"Transition\"", "\"instantiate_link\"", "\"PetriNets\"", "\"Association\"", "\"P2T_weight\"", "\"P2T\"", "\"Natural\"", "\"instantiate_attribute\"", "\"PetriNets\"", "\"P2T_weight\"", "\"name\"", "\"weight\"", "\"instantiate_link\"", "\"PetriNets\"", "\"Association\"", "\"T2P\"", "\"Transition\"", "\"Place\"", "\"instantiate_link\"", "\"PetriNets\"", "\"Association\"", "\"T2P_weight\"", "\"T2P\"", "\"Natural\"", "\"instantiate_attribute\"", "\"PetriNets\"", "\"T2P_weight\"", "\"name\"", "\"weight\"", "\"export_node\"", "\"PetriNets\"", "\"models/PetriNets\""]
