Function emit_move_facts

fn emit_move_facts(
    all_facts: &mut AllFacts,
    move_data: &MoveData<'_>,
    location_table: &LocationTable,
    body: &Body<'_>,
)

Emit facts needed for move/init analysis: moves and assignments.