reduce evaluate_enveq to two cases of pmatch_enveq