Add Liveness visitor to the Synthesize code