[spec/arith-context] Minor cleanup