Symbol: solver_calculate_multiversionmap