Removed Proxy compilation error
Calls to interface methods always classified as undecidable due to Proxy dynamic code