Adjusted -Pasterr so it works while using the new ast. Removed the -Ptree option as it doesn't seem to work and no one uses it.