added check for unresolved proxies to makes sure that the input for the
compiler is valid