more flexible reasoning about consistency/inconsistency with easily
accessible variables;
some errors in Reasoner.py corrected