evaluate statically-analyzable expressions