add value number; fix a bug in building ssa