Function assembly_move_constraint_impl 

pub fn assembly_move_constraint_impl(
    id: &str,
    index: usize,
) -> Result<String, String>