Avoid Svace DEREF_OF_NULL warning in constraint-impl.h