Yes, it absolutely is[0] for essentially the exact examples you cite. [0]: http://www.cs.berkeley.edu/~daw/teaching/cs261-f12/misc/if.html http://www.cs.berkel

Yes, it absolutely is[0] for essentially the exact examples you cite. [0]: http://www.cs.berkeley.edu/~daw/teaching/cs261-f12/misc/if.html http://www.cs.berkeley.edu/~daw/teaching/cs261-f12/misc/if.h...).