Alloy interview question

System design, Trees and graph questions