Don't call symbol.isLazy in test suite

This tests sometimes fails spuriously and it may be that the failure is
triggered by the call of `isLazy`. While there is no guarantee that this
change actually works around the problem, we have to try it.

Fixes #69