All forms of the verbs sein, haben und werden are tagged as aux. The copula and possession/becoming constructions that sometimes turn these verbs into main verbs are tagged as aux in all these cases. (The decision is purely formal/lexical).