Implicit fast fail checks for method contracts in Android