Modelling Metamorphism by Abstract Interpretation