Null ptr solved in AStar & BiAStar, axioms incorporated in proover.py