uninstantiation_error(culprit). This should be called 
if an argument that must be unbound at entry is bound to culprit. 
This error is typically raised for a pure output arguments such as a 
newly created stream handle (e.g., the third argument of open/3).