type checker in compiler design - Search