Allow lists of goals in erlog:prove
Merge
Merge