put flattenTerms ini symbolic and java backend also