Links for coreason-synthesis