checking module Test1Abs

   circular definitions: A B