fixed jcc conditions
wip: path conditions and free variable identification