Testing Astar using integer stepping problem