test case optimization using guard and spork