Fix Infinite Mario bindings and base case;
Fix Puddle World base case;