Modified pddl2smv to fetch the correct behavior names.