Fixed null pointer exception when removing a conjecture with no child