added an if-nest inst