Constant is_val_statically_known 

pub const is_val_statically_known: Symbol;