Utility functions for working with aterms as generated by Minitermite