Gravar e-mail: Domain-constrained Generation of Clinical Condition Sets to Help Test Computer-based Clinical Guidelines