Include filename and line in the frontend's Assert()