Compiler implementation verification through rigorous syntactical code inspection