SMT in reverse engineering, for dummies