added some alloy output to logiclanguage