Report: Resolution unification example

You are reporting the paste Resolution unification example.