Fix declaration guard injection in SMT translator#59

subsetpark merged 1 commit intomastersubsetpark/pantagruel:masterfrom

zax--bugfix-guard-injectionsubsetpark/pantagruel:zax--bugfix-guard-injectionCopy head branch name to clipboard