Add Assign level to assign
Define Assign data and decision flag
Impliciation Graph
CDCL
Merge branch 'feature/cdcl' into develop