pub fn rule_width(pattern: &Term) -> u32
The width a rule works in, taken from the suffix on its pattern’s opcode.