[spectec] Wasm 1.0: Limits_sub missing cases involving an absent maximum #2220

rule Limits_sub:
  |- `[n_11 .. n_12] <: `[n_21 .. n_22]
  -- if n_11 >= n_21
  -- if n_12 <= n_22

n₁ ≥ n₂
────────────────────────────────────────────────────
⊢ {min n₁, max m₁?} ≤ {min n₂, max ε}

rule Limits_sub/max:
  |- `[n_11 .. n_12] <: `[n_21 .. n_22?]
  -- if n_11 >= n_21
  -- (if n_12 <= n_22)?

rule Limits_sub/eps:
  |- `[n_11 .. eps] <: `[n_21 .. eps]
  -- if n_11 >= n_21