fixed a crash in the case that no actual clause is generated