Move code for generating transition system into separate file#1421

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

build-transition-systemdiffblue/hw-cbmc:build-transition-systemCopy head branch name to clipboard