Add ssa.MakeInterface and ssa.Panic to automata construction.