removing assumption that gadget input is one of the forall inputs