Update sicstus reasoner
Parse output of reasoner
Fix computation of BIG when the generated constraint states that "F
implies true"
Improve debug info (big and mtx graph + features' domains)