Gaussian CHR and Gaussian CHR are not symmetric in proposals, because the gaussians are truncated differently.