Lightweight, limited checker specifically for SLOCA, the 2014 IS203 project.