Add |Inndiag(G) : G| + calculation + using in resolver