minor fixes
fixed several bugs including a big one in the CFG construction if the
created transitions to blocks in other procedures if the labels are not
unique.
fixed bug in quantifiers.