Show "(incomplete)" for incomplete assertion formulas