ensure_valid_window/2
     ensure_valid_window(+Window, +Goal)
     

Window is a valid window. If it is not, an error message mentioning Goal is printed, and execution aborts.