Fixed pattern matching statements when getting data from the database in introduction protocol.
Remove starting of behavior map on server side.
Verification Protocol Commit 0
Merge branch 'cryptoRedo' into VerificationProtocol