Add example showing that unification is looping on fix+evar trick