Fix - not all prime implicants was returned, added comments