resynthesis working. still need to fix liveness adding