ByNobleID
    Predicate abstraction with adjustable-block encoding | NobleID