First working version of switched system extraction for seal tool
Restructuring code in SEAL
SEAL: compute the projection to switched systems. Some issues with intermediate variables and a better selection of split guard have to be addressed
Preprocess the selected node in seaL BACKEND: focus on memories and perform node slicing.