c1cs.cfg

CONSTANTS
  N = 4
  T = 1
  F = 1
  Values = {v1, v2}
  Bottom = Bottom
INVARIANTS TypeOK Validity Agreement WeakAgreement IndStrengthens
PROPERTIES Termination
SPECIFICATION Spec