add the compilation of the FeasibleSpace