Computing change of invariants to support software evolution