added a short circuit for the predicate tests in preciseSkip
created a table of register names so that I can avoid map element iterations in apply() and reachingMerge()