improved implied-atomic?

Added case to cover when one disjunction is weaker than another (e.g.
(A or B) implies (A or B or C)).