Fixed error in global anlaysis dealing with loops and the initial state of out set to be all checks