What happens to esophageal varices after transection and devascularization