El
FoldResultEvidence
EmptyCons
shared
evidence
FoldResultEvidenceLowPrio