changed setAccepting and addInitial to only make deep copies for new formulas