remove an unused variable in bytecode.lem