Function emit_move_facts

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

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