tree 20505f30b6d73ccde96c61f1f2edae65436e3627
parent 0a3366020e5fe6d5c29ccfd5742f41ec3e18c427
author buyingyi <buyingyi@gmail.com> 1422431524 -0800
committer Ian Maxon <imaxon@uci.edu> 1422585620 -0800

Tracks the variables coming from the outer branch of loj to later decide whether they are still nullable

Change-Id: I65ef3ec64e231d4ee4b9cb18ac3292f126ee16f8
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/209
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Yingyi Bu <buyingyi@gmail.com>