https://github.com/MPLLang/parallel-ml-bench/blob/613882b19b0b9b6b3ebaa1868dab0e23a8650712/mpl/bench/connectivity/Connectivity.sml#L16 Connectivity uses a function named `AdjInt.contract` which I could not find here or on [mpllib](https://github.com/MPLLang/mpllib)