Add predicates for checking the type of a graph