Modify (program = b:block DOT) not (program = b:(block)* DOT