<> <> <> run UncountedAssignHackImpl