Added submodule VanillaIF.