Implement check of bidirectionalizability.