no start/end names
two tables; conditions are nodes
loops detection
mark with red infinite loops