verifying untreated inclusion matrix