let p_equal = predop PRED.L_eq