ensure_valid_gcable/3

     ensure_valid_gcable(+Gcable, -Gc, +Goal)
     

Gcable is a valid gcable. If it's not, an error message mentioning Goal is printed, and execution is aborted. Gc is the real gc.