Seminar: A Tool for Verifying Bisimilarity in CCP