Characteristic predicate FlowVar::FlowVar_internal::BlockVar::BlockVar

BlockVar()