https://github.com/microsoft/BioModelAnalyzer/blob/ad6b22a7fa3e25ff4b4408ef3a46fedc40a2651c/ext/CUDD/cudd-3.0.0/dddmp/dddmpLoadCnf.c#L574
BioModelAnalyzer/ext/CUDD/cudd-3.0.0/dddmp/dddmpLoadCnf.c
Line 574 in ad6b22a