changed/updated regex for message receiving, implemented design by contract without contract, putted design by contract into regions