checking module TestParams circular definitions: A B