Add a simple layer for pure lvars and add a MaxCounter LVar
A bit of graph progress. Use the MaxCounter to compute max degree.