Formica difficilis