Towards computation properties injection by K.M.W. Douven