Added test case for clauses - WIP
Added Sum Rate constraint to clause_assoc
Equality comparators for clauses
Added XSource constraint for source nodes
Added test for XFRelation
Added XBeta, XSource
Started working on actual CFL algorithm
Added basic CFL algorithm with one-by-one randomization
Adding node runner...
reached a point where a node is running CFL, not sure if correctly or not