DB<1> $a="2.0"
 
  DB<2> p [2,3] ~~ $a
 
  DB<3> p $a == 2
1
  DB<4> p [2,3] ~~ $a         
1