Assertion list for term "official crossing points".

Results from Ascent++: 1
port IsAofficial crossing points 0.36