New: witnessinstruction