Jorgensen's inequality $\mid \left(Tr\left(A\right)\right)^2-4\mid+\mid Tr\left[A,B\right]-2\mid\ge 1$ gives a necessary condition for two matrices A,B to generate a discrete subgroup of SL(2,R). Are there examples showing that this inequality is not a sufficient condition? Are there methods to prove that two given elements do NOT generate a discrete subgroup?
Background: A recently published paper http://xm10402.reportworld.co.kr/data/paper/view/2882/P2881838.html claims (in Theorem 4.5. in the appendix) that a group generated by two hyperbolic matrices A,B of positive trace is discrete if and only if their axes intersect and the trace of the commutator [A,B] is smaller than -2. This theorem seems a bit strong to me but it is not obvious to me how to construct counterexamples. In fact the condition on the trace of the commutator automatically guarantees that Jorgensen's inequality holds, so the first check for non-discreteness must fail.