https://github.com/microsoft/BioModelAnalyzer/blob/ad6b22a7fa3e25ff4b4408ef3a46fedc40a2651c/ext/CUDD/cudd-3.0.0/nanotrav/bnet.c#L1096
BioModelAnalyzer/ext/CUDD/cudd-3.0.0/nanotrav/bnet.c
Line 1096 in ad6b22a