Alloy debugging with xsbug?