2
checkMetro (STATION "a")
TA_Result false
2
checkMetro (AREA("a", STATION "a"))
TA_Result true
2
checkMetro (AREA("a", AREA("b", AREA ("c", CONNECT(STATION "c", STATION "c")))))
TA_Result true
2
checkMetro (AREA("b", CONNECT(STATION "a", STATION "b")))
TA_Result false
2
checkMetro (AREA("a", CONNECT(STATION "a", AREA("b", AREA ("b", STATION "b")))))
TA_Result true