control flow jumps are dotted, set/decont rounded