On Interpolants and Variable Assignments