// Test set formers with and without a domain
{i in D | #1};
{j | #0};

//Also test that absolute value is properly parsed
|-5|;