add print-ast option
PrintWalk should print levels too
convert Check method to return the mutation count
mutator for term removal