ensure_valid_screen/2
     ensure_valid_screen(+Screen, +Goal)
     

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