use beta-normalization for congruence computation