Bug fixes:

Bug fixes:

1.  rewriteCallerReachability was not rewriting parameter "star" tokens.

2.  globalSweep fixes:

  a.  initialize alpha prime for all nodes to the empty reachability set, nothing else

  b.  when propagating contraint for bold_B, and encountering a new edge, changed initial
      result from just the intersection value to union of new edge's old beta and intersection

  c.  when using bold_B to reduce alpha states, now checking all edges for the state before
      marking token for removal, instead of removing if we find one negative match