* [TYPECHECK,FIX] Semidet behavior for is_url/1.