Fix JSON generation for := methods
Give JSON backend ability to output positions