[-v2] check for default statement