(classifier) fix bug in interpretation of InstCall