indvar: constant
A KIF indvar.