Some note and examples for erlang if