InstructionBlock & ConstantValue fixes#6

Open

calincru wants to merge 3 commits intonets-cs-pub-ro:masterfrom

calincru:instrblock

Commits on May 30, 2017

Stop executing instructions in InstructionBlock when `Forward' is
calincru
committed
Use mkNumeral instead of mkInt in ConstantBitVector too
calincru
committed
Merge branch 'master' of github.com:nets-cs-pub-ro/Symnet into instrblock
calincru
committed