fact: Variable g : G.
imports: Coq.Lists.List Coq.PArith.BinPos ExtLib.Structures.Monads ExtLib.Structures.Reducible ExtLib.Data.Graph.Graph ExtLib.Data.Monads.FuelMonad ExtLib.Data.Monads.IdentityMonad ExtLib.Data.List ExtLib.Core.RelDec