IPA sem equality: CONSTRUCTOR handled in an appropriate way.

New tests for VECTOR_CST added.