ADDED: goal_expansion/2,4 now applies to meta arguments with specifiers
greater than zero.