Simpler free var checker