Added the mod operator into the constraint solver. Added Euclid's algorithm to the uninterpreted functions tests