A self-contained validation tool for rc scripts for testing robustness of the rc compiler