Connects the given sigma propositions into COR proposition performing partial evaluation when some of them are trivial propositioins.
Connects the given sigma propositions into COR proposition performing partial evaluation when some of them are trivial propositioins.
propositions to combine into COR
COR, TrueProp, FalseProp or even one of the items depending on partial evaluation