Characteristic predicate FlowVar::FlowVar_internal::AlwaysTrueUponEntryLoop::AlwaysTrueUponEntryLoop

AlwaysTrueUponEntryLoop()