Apply loop contracts only if there exists some usage#3694

qinheping merged 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom

qinheping:loop_contracts_with_freeqinheping/kani:loop_contracts_with_freeCopy head branch name to clipboard