Contract cross-reference resolver and defined-term graph analyzer detecting circular ref…