some tests for PiCalculus