Support 2-argument bogo_possibilize in Puma

[axch]

Minor discrepancy between Lite and Puma: In Lite, the inference action (bogo_possibilize scope block) runs for one transition (as is typically desired), but in Puma it crashes demanding a fourth argument (namely the transition count, which would typically be 1).