Add allDistinctSurroundings fact and its test predicate