Extend `la_generic` checking in that strengthenings may be needed
Sometimes a strengthening must be done other than just adding 1. A way of doing is is by finding the GCD, dividing the equation by it, adding 1, then multiplying by it again. This requires all coefficients to be integers.
Reported by @bandreotti