this assert seems to be wrong for the java frontend (and the C frontends never set...