script t1(){ impRight; impLeft; cases{ try : impRight; //should not close proof } }