Tool for CCS with value passing, value matching and sequence operator