The method can be extended to handle probabilistic programs with conditioning by incorporating the conditioning aspect into the analysis. This would involve considering the impact of conditioning on the output distributions of the programs. Specifically, the analysis would need to account for how conditioning affects the probability distributions and how it influences the equivalence or similarity between the output distributions of the programs. By incorporating conditioning into the analysis, the method can provide a more comprehensive assessment of the relational properties of probabilistic programs that involve conditioning.