(Integrity servers only) Examines the specified expression in the format of a previous function state.