Allow lists of goals in erlog:prove