Concrete value injection in binary `if` instructions + several bug fixes