e first part (if else in case of x instanceof Variable)