Added GCC equivalent for XTL_UNREACHABLE as well as XTL_ASSUME