Added test case: 033-constraint-ordering-heap-trash.swift