RATR-Checker-Left