Cleanup
deductions in bytecode