Static checker in compiler design