loki.transformations.pragma_model module