Prepare basic infrastractures
to guess a program and recieve counter examples.