Variable Gadget Clause Gadget Clause Gadget++ Checker Gadget