Add the CFG construction for == and !=