handle binops with two identical operands
add simulation for be_Return
fixed simulation for be_Copy
add register killing code at begin of every block
use node index as block number
create only labels for block that are jump targets