Progress on WALA harness generation