Added function xtl_failure to pass error description to XTL_ASSERT because old way via comma was producing warnings in XTL_ASSUME