Enforce stack effects and remove '(unknown)' source location.