NullPointerException of Interpreter when proof was closed
In case a script results in a succeeded proof the method publishState() in the class PuppetMaster accesses the current Interpreter which is null in that case.
In case a script results in a succeeded proof the method publishState() in the class PuppetMaster accesses the current Interpreter which is null in that case.