Allow to not list global members in instance.members

In some evaluations, global members shall not be listed in members
lists. Therefore such a parameter is added to the instance.members
method.