semantic: Ensure constructor preludes occur just before returns.