# A sample implementation of reduction trees