Function disallow_opcode_pair 

pub(super) fn disallow_opcode_pair(previous: Opcode, proposed: Opcode) -> bool

Should proposed be rejected as the immediate successor of previous?