U(0, pi) prior for angles because of the symmetry of the lens models