Clausal: combine_clausules tests added