Metamorphic Technique in Hopwas