Added some limited static value prediction for k registers.