added idea for new assert mutation