foo -- c1 -- | c2 {- c3 -} True new_def -- c4 = new_def foo False new_def = False