small change to ExtractUsedBodies
ExtractUsedBodies should return unique bodies