Gets rid of the SCTX, so the symbolics are in the RCTX (but mapped to a non literal expr)