type-check ConditionalStmts