More semantically report js static analysis failures and their reasons