You can also try E7/F. That way IRP will play the E note in a higher position than the F note (for F dim Maj7)