s/Syntax.Height/Syntax.No-Cycle/