Allow set expressions containing definitions of records.

Fix translation of programs containing sorts starting from an aggregate name.

Fix problems occurred when the argument -A is passed and answer sets are filter with -filter/-pfilter options.