Merge "Smailify a test in checker-lse-ctor-fences"