Resolve binary signals when comparing for boolean equivalence
Issue #7 - Print out failure message