In reply to stefaniecg:
By default, each file that you compile on the command line is a separate compilation unit (same as other programming languages like C/C++). You would need to `include the file into your the tb_top.sv file to get it into the sample compilation unit.
We strongly recommend putting checkers in a package and importing that package where needed.