Generates additional constraints enforcing the bijection between source's prime implicants and target's models for literal x.
Generates additional constraints enforcing the bijection between source's prime implicants and target's models for literal x. Must be called after the clause index has been build (by a prior call to renameClauses).
Created by kdelmas on 10/06/16.