simp arguments priority

Stream: general

[Johan Commelin]

If I give explicit arguments to simp, as in simp [foobar], I would expect foobar to get a rather high priority. Does something like this happen.