wlp pconds (Return expr) q = wlp pconds (Assign [VarTarget $ ToName "return"] expr) q
wlp pconds (Return expr) q = wlp pconds (Assign [VarTarget $ ToName "return"] expr) q
wlp pconds (Return expr) q = wlp pconds (Assign [VarTarget $ ToName "return"] expr) q