Add sanitize()
Refactor CFGNode