{
* Author: Michael Schrefl, Bernd Neumayr, Manfred Jeusfeld, Christoph Schuetz
* Created: 23-Oct-2013/M.Jeusfeld (23-Oct-2013/M.Jeusfeld)
* ------------------------------------------------------
* negative example for axiom a22 (= formula (22) in table 1 of the paper)
*
}


vc in OBJECT end

vd in OBJECT with
  SPEC sc: vc  {* !! vc is not conrete *}
end

vx in OBJECT with
  IN c: vc
end