Port: Add CompiledAutomaton