add delim-cont counterexamples, adjust check property