Got mace4 to work with informativity checking.