fix: replace assertion with output_scc_info call in main function#24

vhavlena merged 2 commits into

develVeriFIT/kofola:develfrom

fix-types-paramVeriFIT/kofola:fix-types-paramCopy head branch name to clipboard