Assertion: function's value | /r/HasProperty | variable
Facets:
Source sentences:
text: Some intrinsics are used to provide additional constraints to the optimizer, such as values a variable cannot assume.