Add a HashMap to store all the constraint lists, which are branched out
from the if bytecode. And use 'constraintlist' variable to store the
current constraint list.