Making IDs of connectors dynamic - IDs used to make unique variables, and updated when added to nodes.
Only connectors for guarded commands updated - direct encoding as choco connector becomes deprecated.
fixing bug - assignment of data (:==) and variables (:=) now with different operators, to allow types to infer implicit conversion to variables.
New names for methods to convert into flow or data variables. Allowing v.flow and v.data within connectors. Small bug fixes (hasFlowOn/getDataOn without the .flow or .data.
bugfix previous commit.
Fixed problem with filters, due to a recent update where IDs of connectors can change.
Filters now parameterised by default by predicates, not by guards.
BIG commit. Connectors no longer have IDs - these managed by workers/nodes only.
This means formulas can have static variable names and formulas again.
Solutions are type-parameterised on their implementing types.
Fixed height of mergers in SCP14 example.
Fixed SAT order of variables.
Fixed merging of cache tables - cache was being ignored when merging - slower now.
Other fixes.
preparing for benchmarks.