Function index_is_static 

fn index_is_static(gcx: Gcx<'_>, expr: &Expr<'_>) -> bool

True when an index expression only depends on literals and state: no locals, parameters, builtins (msg.sender) or non-cast calls.