Of course, it should have been:
add(dmob,defm) notadd(dmob,mob)
Of course that's what it was. Of course.
#debugging #bughunt #incrementalprogress
#incrementalprogress #bughunt #debugging