added label/goto stuff to the analyzer