Set the FrameSetup flag for the first/last SRES/SFREE
singlepath: skip frame setup for the initial predicate copy in sp callees