CORE 
test.c
--function globalUninitialized --show-vcc
activate-multi-line-match
^EXIT=0$
^SIGNAL=0$
--
\([^\s]+guard[^\s]+ \? [^\s]+#0 : [^\s]+\)
\([^\s]+guard[^\s]+ \? [^\s]+ : [^\s]+#0\)
--
These regexes are making sure that a variable of generation 0 dosen't appear in a phi merge, so the below
statement:

 (guard ? global#1 : global#0)

Should not appear. First regex deals with when the gen zero is the latter position, second when it's in the former.