Rewrite premise-prior to handle unequal no. of alternatives
Fix sequential and problem
Expand is-conclusion? to exclude there-is-no
Include options for no ExisPressup sampling