fix null-pointer occurring if Rodin tries to restore serialised disprover reasoner input