BCHAnalysisTypes
class type constraint_set_int = object ... end
class type bb_invariants_int = object ... end