Improved readability in CheckStatement