[Bug 204845] New: consistency of terms