add: define formals in new environment in pass1
fix: make seq nodes only when neccessary
add: void node