If some goals are specified they are treated in the order of
apparition on the command line. If no goals are specified on the
command line, they are treated in the same order than they appear in
the theory.