Move the aterm-based units checker.