Fast binded objects method invocation. Code contracts specs.