working on a conflict based causality solving
removed unnecessary import
stuff
removed some sync()'s