private static bool ContractContainsOnlyKnownMethodCalls(StatementList checks) {
if (checks == null) return true;
if (checks.Count == 0) return true;
var unknownMethodCallCounter = new UnknownCallCounter(true);
unknownMethodCallCounter.VisitStatementList(checks);
return unknownMethodCallCounter.Count == 0;
}
private static bool BodyHasCalls(Block block) {
var callcounter = new UnknownCallCounter(false);
callcounter.VisitBlock(block);
return callcounter.Count > 0;
}