let is_multq = function Arith(Multq _), _ -> true | _ -> false