Ubiquitous equations, nonoblivious normalization and term =matching problems