+ * Checks if an expression is a constant/known value to the linker. Examples:
+ * - all constant/linker constant expression casted to a pointer type
+ * - "&x", with x being a global variable.
+ * - "array" or "a.array" in case array is an array and array and a,
+ * respectively is an object with link time constant address