==================== Tidy Core ====================
Result size of Tidy Core
  = {terms: 4, types: 2, coercions: 0, joins: 0/0}

testAB = False

testAA = True