Constraining CounterVC