fix in result origins analysis

handling the (rare) case when a cycle starts at the first instruction
initial tests for result origins analysis
a bunch of renamings (more meaningful names)
short explanations in readme about code organization