Fixed Expr := not { seqof } in Ada backend and added testcase