Change idmanager with bimaps
Add grounding ground atom in body