Maybe spotted (and resolved) a logical bug: multi-edges were created towards local and shared variables in a mixed way. Now multi-edges are created only towards shared variables. Early experiments seem to shout "EHY, GOOD IDEA!"
adjustments