parallel composition test: set up