Added ida*, changed goal to specified one;TODO make them terminate when
state space is covered