What can the GC compute efficiently?: a language for heap assertions at GC time