You are searching for asserts