Changed the initial abstraction to make one vertex for the concrete initial state and one vertex for all the goals.