@@ -13,7 +13,7 @@ Element function bfs(params : Element, output_mms : Element):
Element path_copy
String option
- model = params["reachability"]
+ model = params["reachability_graph"]
worklist = create_node()
initial = set_pop(allInstances(model, "InitialState"))
