If constraint is a line AX + BY = C, returns C. Otherwise assert.
source not stored for this graph (policy: none)