[Bug: 21.5-b20] Symbol's function definition is void: constrain-to-field