Use NativeAtom in the optimize predicate for metasp