SEAL: compute the projection to switched systems. Some issues with intermediate variables and a better selection of split guard have to be addressed