Rule engine modifications
Misc bugfixes & additionnal tests for CFG
Rule engine update
Adding worklist implementation