Implementation of InductiveGraph based on Erwig's paper