Porting the checker to use Vhati's sloppy parser