#include "formula_profile.h"

LYMPHOSAT_MATCHER {
    return profile.positive_block_candidate_len == 3 &&
           profile.exactly_one_intra_pair_coverage > 0.666 &&
           profile.binary_clause_fraction > 0.677 &&
           profile.ternary_clause_fraction > 0.30 &&
           profile.normalized_clause_span_mean < 0.10;
}
