Typevisitor not collecting constraints correctly

There is an issue with the type visitor and how it is handling visiting statements. This causes a NoneType to try to be concatenated to a string. The issue arises when parsing the following snippet:

module mod
stationary stat
manifest aaa
manifest bbb
manifest ccc
manifest ddd

functions:

instructions:

x = 0
if ( 3 == 3) {
    x = 3
} else {
    x = 5
}
y = x

Using the following execution flags:
-d -i resources/programs/scratch_pad.bs -p ./resources/ -t inkwell

Reproduziere den Fehler mit dem bereitgestellten BioScript-Snippet und den Flags -d -i resources/programs/scratch_pad.bs -p ./resources/ -t inkwell. Untersuche die Anweisungsbehandlung des Type Visitors und die Erfassung von Constraints; abgeschlossen ist die Aufgabe, wenn das Beispiel ohne einen NoneType-Stringkonkatenationsfehler geparst wird und seine Constraints korrekt erfasst werden.