Directly Translate EEF to F
Remove uneeded intermediary EFeval