Predicate signature Make0::Make1::InputSig2::includeCallableEntry

Holds if control flow is constructed and reachability starts at the entry of callable in this stage. By default, all callable entries are included. Restricting this is useful for auxiliary CFG stages that are only needed for selected callables.