If -m delete grounded rule
If atom is all bound don't call firstmatch and next nextMatch but
findIfExist