Characteristic predicate DataFlow::EnvInput::EnvInput

EnvInput()