bug fix: wrong use of comparison, which made all the data-flow info top, as well as wrong initialization