Using history information to improve design flaws detection | Synapse