Fix not resolvable exception

UnifyingResolution no longer throws the exception, however the system 
now performs resolution on three lines before it hangs. Likely going 
into an infinite loop somewhere.