use case_lt tactic instead of Zle_lt_or_eq