add synthesize script so Stephen can reproduce the treemachine bug