The text e59a2acdcd07, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
restricts a BDD to another BDD
constraintBdd(3) on Linux now
