method add_source_mark sm = source_marks <- sm :: source_marks