add RegressionTest() class to alloy.py