Constraint extraction for pseudo-functional scan-based delay testing