Everything working

~ Corrected boundcond
+ Temporary solution to a problem in prefSAT