fix NullPointerException after applying disprover proof tactic