Safety copy.
Iteration over prime implicants.
Working minimal valuations synthesis.
Minimal valuation synthesis by prime implicants covering.