Allow contract_double to take return values for stubbed methods.