If e is a SliceExp, constant fold it.
expression to resolve
if not null, store resulting expression here
resulting expression
See Implementation
If e is a SliceExp, constant fold it.