Support hasherror analysis in xtc

Use featureexpr instead of string for keeping track of expressions, do not check if either side of implication is True. Just check if it is a tautology in the end