Fix recursive rule calls
Fixed EList implicts