INCLUDES = ../muddy ../HolBdd
OPTIONS = QUIT_ON_FAILURE