Made probcomp a global, since it makes more sense to always wrap the main computation module with it.