Corrected mutability checker and included witness.