Clean duplicate refs out of list of weak refs.
Check back-edges for calls.
Update interfaces.
Add reg_is_shared(,) member function.
Add some checks.
Put all shared call ancestors on the invalid-result list.
Move result to computation.
Remove commented-out line.