function name to sign_covered_lines