We would like to thank the Compose Group at Irisa and, in particular, Julia Lawall and Renaud Marlet for their helpful suggestions.
