improve source location annotations for transformed cool coordinator