Predicate Public::SummaryComponentStack::push
Gets the stack obtained by pushing head onto tail.
Make sure to override RequiredSummaryComponentStack::required() in order
to ensure that the constructed stack exists.
Import path
import semmle.python.dataflow.new.internal.FlowSummaryImpl