Symbolic Choreography Analysis