found bug on the core algo. still figuring out how the essential prime implicants and prime implicants must be evaluated and selected.