New Function abstract model, Automaton abstract model and Powerset
construction!