Static Eval

evaluate statically-analyzable expressions