Use ImmutableSetMultimap in AndClause.  Add a few more preconditions to
ConditionalDistribution.