Class PDisjunctionRewriter