New symbolic backend. Only simple run available for now.