Updated search to only create new states on transitions
Updated search to only create a new state on transitional rules