Tests for the Auto Formatter by TMg