Tick less, add script to detect unused s5 identifiers
Add example for which 1CFA is not precise enough