strict-out[B] = intersection(S a successor of B) strict-in[B]

strict-in[B] = use[B] union (strict-out[B] - def[B])