renamed argument -print-ast to -a