Graph based verification of software evolution requirements door