Only couple issues left

Pattern overflow on huge procedure and one of the tests doesn't read a
for statement