#a: 
   infer: { prt:[B]?b" }
