Fixed get-interpolants simplification.

Calls for binary interpolants were not simplified since the case where at least
one of the arguments is a conjunction was not detected.  Fixed with this update.