Branch removal

[Patrick Metzler]

Hi Vladimir,

many thanks for your answers! I will use your suggestions.

 > The first step I would do is to find why current code in
 > conditional_move() does not work for you and modify it so it works.

I don't use conditional_move() because I realized that sometimes I don't 
want to delete a Region completely, but only delete one incoming 
Projection (like if the Region is a Loop). And as far as I understand, 
conditional_move() is only applicable for cases where the branches of an 
If merge at the same Region.

 > > * Is it possible to disable uncommon traps (completely or just for 
 > > one method)?
 >
 > No.

Too bad that uncommon traps can't be avoided. I'll see if I will 
consider them. If so, perhaps I let them be detected in braches where I 
don't want them and then cancel the compilation.

Best regards,
Patrick