Added propose operator to template test for debugging