Model Informed Flows for Bayesian Inference of Probabilistic Programs