Alloy Interview Question

System design, Trees and graph questions