problem 1b (if you can fix it better, please do!)

Indexing is not allowed in "property".
So we can't modify for generic case what we did in the case of 2
runways. However, there is a replication operator in LTS (forall) that I
have used in the same manner. See Appendix B: FSP Language Specification
for guide.