Use static instead of self.
Use default sampler when sampling a conjunction.