SMV type checker: pull up recursion on operands#1511

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

smv-typecheck-hoist-recursiondiffblue/hw-cbmc:smv-typecheck-hoist-recursionCopy head branch name to clipboard