Utility functions for working with aterms as generated by Minitermite - View it on GitHub