Continued working on the incremental synthesis plugin