adding gotos to vm
adding gotos and conflicht in semantics