cf. https://github.com/TuringLang/Turing.jl/pull/2360#discussion_r1787652942 `dot_assume`'s fallback method is here: https://github.com/TuringLang/DynamicPPL.jl/blob/7f91c07e51fccbbc3b503eb9f9ba3dba69fe90f0/src/context_implementations.jl#L489-L493 As far as I can tell `assume` doesn't have a fallback method so that would just need to be added.