Graph based verification of software evolution requirements by