Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests