Implement program checker