Tweaks
WYRL: generated some aggressive tests for the arithmetic solver.