ASSERTION with cell layout and math scripts

This test passes if it does not crash

\underset{b}{a}