Hi Nick, > Fix up comments. ... > - if (!PreCondLHS->getType()->isInteger()) return false; > + if (PreCondLHS->getType()->isInteger()) return false; This doesn't look like a comment. Ciao, Duncan.