Removed the need to have SAT variables that encode the boundary of the interval structure, added some more test cases
Easy_build script improved a bit.