Quick fix to the getFrontier method in StateSpace