Tests for module 'asinl'.