https://9lib.org/document/y963p9ly-context-dependent-atc-complexity-metric.html