ensure_valid_screenable/3
     ensure_valid_screenable(+Screenable, -Screen, +Goal)
     

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