Gravar-mail: Properties of Boolean networks and methods for their tests