Characteristic predicate Statement::ConstCase::ConstCase

ConstCase()