Solved bug preventing synthesis.