{"action":"opened","issue":{"url":"https://api.github.com/repos/chsticksel/kind2-dev/issues/221","labels_url":"https://api.github.com/repos/chsticksel/kind2-dev/issues/221/labels{/name}","comments_url":"https://api.github.com/repos/chsticksel/kind2-dev/issues/221/comments","events_url":"https://api.github.com/repos/chsticksel/kind2-dev/issues/221/events","html_url":"https://github.com/chsticksel/kind2-dev/issues/221","id":54377050,"number":221,"title":"Annotate properties to their source","user":{"login":"chsticksel","id":3951777,"avatar_url":"https://avatars.githubusercontent.com/u/3951777?v=3","gravatar_id":"","url":"https://api.github.com/users/chsticksel","html_url":"https://github.com/chsticksel","followers_url":"https://api.github.com/users/chsticksel/followers","following_url":"https://api.github.com/users/chsticksel/following{/other_user}","gists_url":"https://api.github.com/users/chsticksel/gists{/gist_id}","starred_url":"https://api.github.com/users/chsticksel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chsticksel/subscriptions","organizations_url":"https://api.github.com/users/chsticksel/orgs","repos_url":"https://api.github.com/users/chsticksel/repos","events_url":"https://api.github.com/users/chsticksel/events{/privacy}","received_events_url":"https://api.github.com/users/chsticksel/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-01-14T21:09:33Z","updated_at":"2015-01-14T21:09:33Z","closed_at":null,"body":"Properties can be \n\n* Present in the orignal model,\n* Lifted from subnodes,\n* Generated from not statically checkable subrange constraints, or\n* Compiled from contracts\n\n----------------------------------------\n- Bitbucket: https://bitbucket.org/kind2-mc/kind2/issue/17\n- Originally reported by: [chsticksel](http://bitbucket.org/chsticksel)\n- Originally created at: 2014-11-26T23:00:06.574\n"}}