{"action":"opened","issue":{"url":"https://api.github.com/repos/CompOpt4Apps/IEGenLib/issues/19","repository_url":"https://api.github.com/repos/CompOpt4Apps/IEGenLib","labels_url":"https://api.github.com/repos/CompOpt4Apps/IEGenLib/issues/19/labels{/name}","comments_url":"https://api.github.com/repos/CompOpt4Apps/IEGenLib/issues/19/comments","events_url":"https://api.github.com/repos/CompOpt4Apps/IEGenLib/issues/19/events","html_url":"https://github.com/CompOpt4Apps/IEGenLib/issues/19","id":138732141,"number":19,"title":"passRelationThruISL and passSetThruISL","user":{"login":"mstrout","id":16689,"avatar_url":"https://avatars.githubusercontent.com/u/16689?v=3","gravatar_id":"","url":"https://api.github.com/users/mstrout","html_url":"https://github.com/mstrout","followers_url":"https://api.github.com/users/mstrout/followers","following_url":"https://api.github.com/users/mstrout/following{/other_user}","gists_url":"https://api.github.com/users/mstrout/gists{/gist_id}","starred_url":"https://api.github.com/users/mstrout/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mstrout/subscriptions","organizations_url":"https://api.github.com/users/mstrout/orgs","repos_url":"https://api.github.com/users/mstrout/repos","events_url":"https://api.github.com/users/mstrout/events{/privacy}","received_events_url":"https://api.github.com/users/mstrout/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2016-03-05T23:09:05Z","updated_at":"2016-03-05T23:09:05Z","closed_at":null,"body":"@king-mahdi  Please put in some testing for passRelationThruISL.  I am finding the following is not working:\r\n\t\"{[tstep,i] -> [s0,t,i1,x] : tstep = s0 && i = i1 && t = theta(0,i) && x = 0 }”\r\n\r\nsyntax error (1, 79): unknown identifier\r\ngot ident 'theta'\r\nsyntax error (1, 84): unexpected token\r\ngot '('\r\n@"}}