add MGEC alg from Gomide