debugging boxAstar