Fix *ALOADs incorrectly throwing exceptions in pruned branches