add C-Spire jflte to assert