add SAT.PBO.Context module (work in progress)