Inner approximation of distance constraints with existential quantification of parameters