Added quick accessors to check if a hypergraph is an F-hypergraph of a BF-hypergraph + corresponding tests.