Insert error traps after full calls inferred not to return