Abstract Reduction Operation Models In The Lime Programming Model