* [OPTION_EXT,NEW] Added if_option/3 and if_option//3.
Merge branch 'temp'