Add an assertion for libgreen