add logic keywords to alloy