Fix generic creation/init/use flow barrier logic: the barrier was previously cipher-specific inside a generic module, and other instances would therefore get no re-init barrier.
FlowSummaryImpl
RegexExecution
Concepts.qll