Don't simplify Same to Eq to arrays
SIMPLIFY_COMMUTATIVE only handles Type::Int

So check that the inputs are really Ints.
SSL_OP_NO_TLSv1_2 is not supported by all openssl versions