echkayem Napoleon PredicateBat5 NaMo sapien2020 prads34 piRATe FS Valermos CoreContingency