return frames in conc semantics
folded jstools2014 into protopurity and refactored
(WIP)
(WIP) broken
all green: per app checking (W: !existInCallerState; R: double fwReach
->writeToSameAddr->invOfSameFun)