Auto Layout checkpoint: general case works, left pragmas in the cases that don't.