This package contains implementations of different eOperations for the imperative terms.