puts [fixsmall result a 1]
EnsureTolRule result result
if { [isdraw result] } {
  puts [checkshape result]
}