zelen 0.5.1

% Test: Single-element enum - edge case with minimal enum
enum Status = {Active};
var Status: my_status;
solve satisfy;