Fixed typo in frontends/ast/simplify.cc