abstract Test1Abs = {

cat
  A B ;
  B A ;

}