instruction_info knows type of the arguments (read, write or constant)
rename local_constant_tracker::handle_incoming_jump to invalidate