added auto-generated liveness to synthesis