Reasoning about Interpretations on Qualitative lambda-models