[incomplete] Improve auto tester

No need to write register constraints
ack.ml does not pass test