Added new analyzer contribs and enables core.logic