}
protected T propagate(int start, int end, T store, List<Pair<Type,String>> handlers) {
for(int i=end-1;i>=start;--i) {
Entry stmt = block.get(i);
try {
Code code = stmt.code;
// First, check for a label which may have incoming information.
if (code instanceof Codes.LoopEnd) {