Changed Variable creation. Now use Variable constructor instead of method in ConstraintSystem.
Made ConstraintFactory static.
Updated demo.
Added callgraph example.
Fixed bug in constraint_factory.
Fixed cycle tests, adapt to new Variable interface.!