Universal test for Reidemeister reduction
SurfaceLink drawing