INCLUDES = ../ho_prover ../subtypes ../../RSA ../useful
OPTIONS = QUIT_ON_FAILURE