theorem proover still to be done
Solved null pointer problem in parent ptr redirn code