bug fixes in SASTPSolution and GreedyConstruction, documentation added to GreedyConstruction