1) add menu Highlight ExePath in Tools menu
2) separate highlight and inspection
 3) add check isFeasible method for GraphUtil, and do it before analyze