root bug corrected
Merge branch 'btor' of https://github.com/ahmedirfan1983/yosys