Debug fixes. Now synthesis works as expected.