defs can now appear in blocks as well; however, they are still issues, in particular in the presence of imports; val->def checker had to be disabled