fixed broken (had played with it so that it wrongly resolved) constraint test