StateVarInitFromFunction.v is set pre-construction with a non-constant function or state variable:
	- set()

StateVarInitFromFunction.z4 is set pre-construction with a non-constant function or state variable:
	- z3 + 5

StateVarInitFromFunction.x is set pre-construction with a non-constant function or state variable:
	- set()

StateVarInitFromFunction.y1 is set pre-construction with a non-constant function or state variable:
	- 5 + get()

StateVarInitFromFunction.y2 is set pre-construction with a non-constant function or state variable:
	- (10 + (5 + get()))

