Ensuring Alloy/Classic compatibility