Added inference of case-statements.