Left Recursive treatment; SimpleTerm tests