"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics