Bytecode generation for deduction schemes finally working