Pass clean state to the callee

Since we only care for the local CFG, we must give the callee a fresh
node set.  Also, the callee must not inherit the widening state from the
caller.