Elaborated spec of make_relative.