https://9lib.org/document/yj7mnxlp-fsm-encoding-for-bdd-representations.html