PropositionMerge

constructor(sources: List<Proposition>, result: Proposition)