#include <assert.h>
#include "invariant.h"


void invariant::set_compare_invariant(invariant* I) {
    no_write = true;
    has_compare = true;
    compareI    = I;
    compare_vec = &I->vec_invariant;
    vec_selections = I->vec_selections;
}