Hmm, I wonder what the theoretical foundation is. Looks like you are searching for counter examples to a set of assertions. How general/expressive is the langua

Hmm, I wonder what the theoretical foundation is. Looks like you are searching for counter examples to a set of assertions. How general/expressive is the language you describe these assertions in? How do you implement the search?