Implementation of basic conflicts checking.