a.map(function(x) x+1);

//semmle-extractor-options: --experimental