Added positive info propagation
Misc fixes in generator and conftree builder