Finished debug tests for defs (except for the existing bug for static
properties/operations) #36