Hello again,

This is a new patch with guile-proba version 0.3.0, which solves the missing module import problem.

🤞