type check of if, elif
+ trace tool