Integration tests for symbolic constructor#573

palinatolmach wants to merge 4 commits intomasterruntimeverification/kontrol:masterfrom

symbolic-constructorruntimeverification/kontrol:symbolic-constructorCopy head branch name to clipboard