Added code contracts for Proxy class