Function symbolic_create_address_word 

pub(crate) fn symbolic_create_address_word(
    state: &mut PathState,
    creator_identity: String,
    nonce: Expr,
) -> SymWord

Returns the symbolic_create_address_word symbolic expression helper result.