Added option for treating some sets of the input program as relations.
Made distalgo message sets get treated as input relations.