eqrelval' which was renamed from
to `op' as suggested by Bruce, as this is used to store the operator between vl and vr. Submitted by: bde