use replace_dummy in testing an equation with a Dummy