PostGIS  2.5.0dev-r@@SVN_REVISION@@
PG_FUNCTION_INFO_V1 ( RASTER_containsProperly  )

See if the first raster contains properly the second raster.