Edited source_super_types() and destination_super_types() functions,
to return set directly rather than using out parameter.