Typo fix in Rule + Added destructor in GroundAtom
Added sorting among components
Added recursive rule grounding
Update indexer without bound, bind, eq var