Checks consistency of assignments put into a model