A Completeness Result for E-unification Algorithms Based on Conditional Narrowing