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.