Fix #932: Remove redundant solver.check() call
Fix #932: Remove redundant solver.check() call

JonathanSalwan/Triton,JonathanSalwan/Triton,JonathanSalwan/Triton,JonathanSalwan/Triton,JonathanSalwan/Triton