use Uses directly in Instrs, rather than Value*