nitc :: ContractsVisitor :: find_no_contract=
no_contract
# is `no_contract` annotation was found var find_no_contract = false