or also as a package :- use_package(nativeprops).
Note the slightly different names of the library and the package.
C contains a list of linear (in)equalities that relate variables and int values. For example, [A < B + 4] is a constraint while [A < BC + 4] or [A = 3.4, B >= C] are not. Used by polyhedra-based analyses.
C is a list of linear equations.