Fix loop contracts transformation when loops in branching#3640

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

qinheping:fix_bugs_in_loop_contracts_transformationqinheping/kani:fix_bugs_in_loop_contracts_transformationCopy head branch name to clipboard