Pass incoming facts in global liveness analysis