Added nofacts in SimpleIndexAtom