Toward better formula lower bounds: an information complexity approach to the KRW composition conjecture