Refactor Effect Checker so it has a header and an implementation file.