remove dependence on el_check in compute_bytecodeLib.sml