atlas symbolik switch case

this is how we lock into just the right start, clearing out any context which is unnecessary, and unresolved for switchcase analysis.