Make false positive detection work with SMT target