[polyml] regarding problem with PolyML debugging prompt