--- a/pyke/krb_compiler/compiler_bc.py
+++ b/pyke/krb_compiler/compiler_bc.py
@@ -4,7 +4,7 @@
 import itertools
 from pyke import contexts, pattern, bc_rule
 
-pyke_version = '1.1'
+pyke_version = '1.1.1'
 compiler_version = 1
 
 def file(rule, arg_patterns, arg_context):
@@ -722,9 +722,7 @@
                            context.lookup_data('fn_head1'),
                            "forall%d_worked = False" % context.lookup_data('start_lineno'),
                            context.lookup_data('fn_head2'),
-                           ('INDENT', 2),
                            "forall%d_worked = True" % context.lookup_data('start_lineno'),
-                           'POPINDENT',
                            context.lookup_data('fn_tail2'),
                            context.lookup_data('fn_tail1'),
                            "if forall%d_worked:" % context.lookup_data('start_lineno'),
@@ -986,13 +984,13 @@
         bc_plan_lines = []
         bc_bc_funs = []
         bc_bc_init = []
-        forall358_worked = True
+        forall356_worked = True
         for python_ans in \
              context.lookup_data('bc_rules'):
           mark2 = context.mark(True)
           if rule.pattern(0).match_data(context, context, python_ans):
             context.end_save_all_undo()
-            forall358_worked = False
+            forall356_worked = False
             flag_3 = False
             with engine.prove(rule.rule_base.root_name, 'bc_rule', context,
                               (rule.pattern(1),
@@ -1008,16 +1006,16 @@
                 bc_plan_lines.extend(context.lookup_data('bc_plan1'))
                 bc_bc_funs.append(context.lookup_data('bc_bc_fun1'))
                 bc_bc_init.append(context.lookup_data('bc_bc_init1'))
-                forall358_worked = True
-                if forall358_worked: break
+                forall356_worked = True
+                if forall356_worked: break
             if not flag_3:
               raise AssertionError("compiler.bc_rules: 'when' clause 3 failed")
-            if not forall358_worked:
+            if not forall356_worked:
               context.undo_to_mark(mark2)
               break
           else: context.end_save_all_undo()
           context.undo_to_mark(mark2)
-        if forall358_worked:
+        if forall356_worked:
           mark5 = context.mark(True)
           if rule.pattern(5).match_data(context, context,
                   tuple(bc_plan_lines)):
@@ -3081,111 +3079,111 @@
     ((677, 677), (259, 259)),
     ((680, 698), (260, 264)),
     ((700, 718), (265, 269)),
-    ((721, 731), (270, 280)),
-    ((735, 735), (281, 281)),
-    ((761, 765), (284, 288)),
-    ((769, 769), (290, 290)),
-    ((773, 773), (291, 291)),
-    ((776, 794), (292, 296)),
-    ((797, 802), (297, 302)),
-    ((824, 828), (305, 308)),
-    ((832, 832), (310, 310)),
-    ((834, 845), (311, 313)),
-    ((860, 864), (316, 316)),
-    ((878, 882), (319, 320)),
-    ((885, 894), (322, 322)),
-    ((896, 905), (323, 323)),
-    ((922, 926), (326, 328)),
-    ((930, 931), (330, 331)),
-    ((935, 944), (332, 341)),
-    ((962, 966), (344, 349)),
-    ((980, 984), (352, 352)),
-    ((986, 988), (354, 357)),
-    ((991, 991), (359, 359)),
-    ((997, 1007), (361, 361)),
-    ((1008, 1010), (362, 365)),
-    ((1023, 1023), (366, 366)),
-    ((1027, 1027), (367, 367)),
-    ((1031, 1031), (368, 368)),
-    ((1051, 1055), (371, 373)),
-    ((1058, 1071), (375, 377)),
-    ((1074, 1076), (378, 380)),
-    ((1080, 1087), (381, 388)),
-    ((1091, 1094), (389, 392)),
-    ((1116, 1120), (395, 397)),
-    ((1123, 1142), (399, 402)),
-    ((1145, 1145), (403, 403)),
-    ((1149, 1152), (404, 407)),
-    ((1156, 1161), (408, 413)),
-    ((1183, 1187), (416, 418)),
-    ((1201, 1205), (421, 425)),
-    ((1208, 1227), (427, 431)),
-    ((1229, 1248), (432, 436)),
-    ((1251, 1251), (437, 437)),
-    ((1255, 1255), (438, 438)),
-    ((1259, 1259), (439, 439)),
-    ((1283, 1287), (442, 448)),
-    ((1291, 1291), (450, 450)),
-    ((1295, 1295), (451, 451)),
-    ((1299, 1300), (452, 453)),
-    ((1304, 1316), (454, 466)),
-    ((1319, 1332), (467, 468)),
-    ((1334, 1350), (469, 472)),
-    ((1353, 1354), (473, 474)),
-    ((1358, 1358), (475, 475)),
-    ((1362, 1365), (476, 479)),
-    ((1397, 1401), (482, 486)),
-    ((1405, 1405), (488, 488)),
-    ((1408, 1427), (489, 493)),
-    ((1429, 1442), (494, 495)),
-    ((1445, 1445), (496, 496)),
-    ((1449, 1449), (497, 497)),
-    ((1473, 1477), (500, 504)),
-    ((1480, 1499), (506, 510)),
-    ((1502, 1502), (511, 511)),
-    ((1520, 1524), (514, 518)),
-    ((1528, 1528), (520, 520)),
-    ((1532, 1532), (521, 521)),
-    ((1535, 1554), (522, 526)),
-    ((1556, 1575), (527, 531)),
-    ((1578, 1586), (532, 542)),
-    ((1610, 1614), (545, 549)),
-    ((1618, 1618), (552, 552)),
-    ((1622, 1622), (553, 553)),
-    ((1625, 1644), (554, 558)),
-    ((1647, 1652), (559, 564)),
-    ((1674, 1678), (567, 569)),
-    ((1682, 1689), (571, 578)),
-    ((1705, 1709), (581, 585)),
-    ((1713, 1715), (587, 589)),
-    ((1718, 1730), (590, 591)),
-    ((1747, 1751), (594, 599)),
-    ((1755, 1757), (601, 603)),
-    ((1760, 1772), (604, 605)),
-    ((1789, 1793), (608, 610)),
-    ((1797, 1798), (612, 613)),
-    ((1814, 1818), (616, 617)),
-    ((1822, 1842), (619, 639)),
-    ((1846, 1846), (640, 640)),
-    ((1864, 1868), (643, 644)),
-    ((1882, 1886), (647, 648)),
-    ((1890, 1893), (650, 653)),
-    ((1897, 1903), (654, 660)),
-    ((1921, 1925), (663, 667)),
-    ((1929, 1929), (669, 669)),
-    ((1931, 1942), (670, 672)),
-    ((1957, 1961), (675, 679)),
-    ((1965, 1966), (681, 682)),
-    ((1970, 1970), (683, 683)),
-    ((1974, 1984), (684, 694)),
-    ((1988, 1990), (695, 697)),
-    ((2012, 2016), (700, 704)),
-    ((2020, 2021), (706, 707)),
-    ((2025, 2025), (708, 708)),
-    ((2029, 2041), (709, 721)),
-    ((2045, 2054), (722, 731)),
-    ((2076, 2080), (734, 739)),
-    ((2084, 2084), (741, 741)),
-    ((2088, 2095), (742, 749)),
-    ((2113, 2117), (752, 760)),
+    ((721, 729), (270, 278)),
+    ((733, 733), (279, 279)),
+    ((759, 763), (282, 286)),
+    ((767, 767), (288, 288)),
+    ((771, 771), (289, 289)),
+    ((774, 792), (290, 294)),
+    ((795, 800), (295, 300)),
+    ((822, 826), (303, 306)),
+    ((830, 830), (308, 308)),
+    ((832, 843), (309, 311)),
+    ((858, 862), (314, 314)),
+    ((876, 880), (317, 318)),
+    ((883, 892), (320, 320)),
+    ((894, 903), (321, 321)),
+    ((920, 924), (324, 326)),
+    ((928, 929), (328, 329)),
+    ((933, 942), (330, 339)),
+    ((960, 964), (342, 347)),
+    ((978, 982), (350, 350)),
+    ((984, 986), (352, 355)),
+    ((989, 989), (357, 357)),
+    ((995, 1005), (359, 359)),
+    ((1006, 1008), (360, 363)),
+    ((1021, 1021), (364, 364)),
+    ((1025, 1025), (365, 365)),
+    ((1029, 1029), (366, 366)),
+    ((1049, 1053), (369, 371)),
+    ((1056, 1069), (373, 375)),
+    ((1072, 1074), (376, 378)),
+    ((1078, 1085), (379, 386)),
+    ((1089, 1092), (387, 390)),
+    ((1114, 1118), (393, 395)),
+    ((1121, 1140), (397, 400)),
+    ((1143, 1143), (401, 401)),
+    ((1147, 1150), (402, 405)),
+    ((1154, 1159), (406, 411)),
+    ((1181, 1185), (414, 416)),
+    ((1199, 1203), (419, 423)),
+    ((1206, 1225), (425, 429)),
+    ((1227, 1246), (430, 434)),
+    ((1249, 1249), (435, 435)),
+    ((1253, 1253), (436, 436)),
+    ((1257, 1257), (437, 437)),
+    ((1281, 1285), (440, 446)),
+    ((1289, 1289), (448, 448)),
+    ((1293, 1293), (449, 449)),
+    ((1297, 1298), (450, 451)),
+    ((1302, 1314), (452, 464)),
+    ((1317, 1330), (465, 466)),
+    ((1332, 1348), (467, 470)),
+    ((1351, 1352), (471, 472)),
+    ((1356, 1356), (473, 473)),
+    ((1360, 1363), (474, 477)),
+    ((1395, 1399), (480, 484)),
+    ((1403, 1403), (486, 486)),
+    ((1406, 1425), (487, 491)),
+    ((1427, 1440), (492, 493)),
+    ((1443, 1443), (494, 494)),
+    ((1447, 1447), (495, 495)),
+    ((1471, 1475), (498, 502)),
+    ((1478, 1497), (504, 508)),
+    ((1500, 1500), (509, 509)),
+    ((1518, 1522), (512, 516)),
+    ((1526, 1526), (518, 518)),
+    ((1530, 1530), (519, 519)),
+    ((1533, 1552), (520, 524)),
+    ((1554, 1573), (525, 529)),
+    ((1576, 1584), (530, 538)),
+    ((1608, 1612), (541, 545)),
+    ((1616, 1616), (548, 548)),
+    ((1620, 1620), (549, 549)),
+    ((1623, 1642), (550, 554)),
+    ((1645, 1650), (555, 560)),
+    ((1672, 1676), (563, 565)),
+    ((1680, 1687), (567, 574)),
+    ((1703, 1707), (577, 581)),
+    ((1711, 1713), (583, 585)),
+    ((1716, 1728), (586, 587)),
+    ((1745, 1749), (590, 595)),
+    ((1753, 1755), (597, 599)),
+    ((1758, 1770), (600, 601)),
+    ((1787, 1791), (604, 606)),
+    ((1795, 1796), (608, 609)),
+    ((1812, 1816), (612, 613)),
+    ((1820, 1840), (615, 635)),
+    ((1844, 1844), (636, 636)),
+    ((1862, 1866), (639, 640)),
+    ((1880, 1884), (643, 644)),
+    ((1888, 1891), (646, 649)),
+    ((1895, 1901), (650, 656)),
+    ((1919, 1923), (659, 663)),
+    ((1927, 1927), (665, 665)),
+    ((1929, 1940), (666, 668)),
+    ((1955, 1959), (671, 675)),
+    ((1963, 1964), (677, 678)),
+    ((1968, 1968), (679, 679)),
+    ((1972, 1982), (680, 690)),
+    ((1986, 1988), (691, 693)),
+    ((2010, 2014), (696, 700)),
+    ((2018, 2019), (702, 703)),
+    ((2023, 2023), (704, 704)),
+    ((2027, 2039), (705, 717)),
+    ((2043, 2052), (718, 727)),
+    ((2074, 2078), (730, 735)),
+    ((2082, 2082), (737, 737)),
+    ((2086, 2093), (738, 745)),
+    ((2111, 2115), (748, 756)),
 )