Abstract Domains for Reordering CLP(RLin) Programs