Function state_lock_assignment 

fn state_lock_assignment(
    gcx: Gcx<'_>,
    stmt: &Stmt<'_>,
) -> Option<(VariableId, Operand)>

lock = <constant>; on a state variable.