solved issue #20. Enhancement for boolean values propogation and folding