ensure_valid_displayable/3

     ensure_valid_displayable(+Displayable, -Display, +Goal)
     

Display is the valid display associated with Displayable. If it's not, an error message mentioning Goal is printed, and execution is aborted.