(PROGRAM (ASSERT (CONTAINS v "foo")) (ASSERT (IN v Bar)))