Characteristic predicate Statement::DefaultCase::DefaultCase

DefaultCase()