Fixed a bug in rm_diffRel where the relations were not sorted before being passed to std::set_difference