optimizer: (beg0 X #f) -> (beg0 X)  (?????)