Draft of tester script with stub solver