When possible, replace unification by matching in the RTTI steps