MethodContract.createConstraintArray
extract contract checking to a separatate inspection
contract inference initial