ensure_valid_pixmap/2
     ensure_valid_pixmap(+Pixmap, +Goal)
     

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