begin
  if true then
  var res := (a is integer(var b));
end.