I disagree with your second idea. f2() and f1() returning the same thing is not the same concept as them having identical functionality.

To Wit:

sub f1 { rand; }
sub f2 { srand; rand(1); }
[download]

these functions are identical in function, but return different results for the same input.