Removed reflexivity test w.r.t. to commit 409a32ffc5a9151f0688d48b1e7efa7e9f2893ce.