Added option to assume and discharge lemmata
Fixed segfault in VariableList class
Fixed backtracking, added option to display variables