Another test case for SPARK-571