More identity folding for LOGAND and LOGIOR with constants