test/{20,30}: import cleanup
dsl-fsm/check: improved error reporting