rename mainworld predicate method

The method does not test whether or not body is a mainworld, it tests
if body has a mainworld in its orbits.