for a, b, c being Int-Location st a <> b holds
not MultBy (b,c) destroys a