ensure_valid_gc/2

     ensure_valid_gc(+Gc, +Goal)
     

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