porting of ExprUnify_simul.