Make DIExpression::Verify() stricter by checking that the number of