Add location information to StatementNoCaseNoDefault