Expand unit tests for Tutti theory utils.