Hardened checks in checker.py