I like Breakfree CLP. 3in1 worked great on my bb guns 58 years ago.
While at CST one of my instructors told us that WD40 got a bad rap about gumming up. According to him(Jack Belk) the problem was that WD40 mixed with other oils caused gumming. You needed to completely remove any other oils before leaving WD40 on a gun.