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.code.csharp.dataflow.internal.FlowSummaryImpl