pub const MAX_LOCAL_VARS: usize = 10;
The most variables a single constraint may depend on. The largest constraints (tangency or equality between two arcs) touch two arcs of five variables each.