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

Tái hiện lỗi bằng snippet BioScript được cung cấp và các flag -d -i resources/programs/scratch_pad.bs -p ./resources/ -t inkwell. Kiểm tra cách type visitor xử lý câu lệnh và việc thu thập các constraint; được xem là hoàn tất khi ví dụ được phân tích mà không gặp lỗi nối chuỗi NoneType và thu thập đúng các constraint của nó.