infix String.length causes Delite test failures: disable