This reverts commit 8ef5e2f0 because it breaks some semantics tests.
Attach a file by drag & drop or click to upload