I was being underspecific to be concise, but in pyro, I'd mean something like this:

    def f(x, y):
      return pyro.sample(
        "z",
        dist.Normal(x+y, 1),
        obs=5
      )

    model = pyro.condition(f, x=3)