Trying to make a small part work so it can be tested
Unknowns are also collected as AST_Expressions since the solver used in the algorithm needs them
Adapted to the new interface of causalization algorithm