Declarative parameterized verification of topology-sensitive distributed protocols