The theorem prover HHL prover for verifying HCSP models