Added descriptions for main building operations at FormulaTree
Removed needless operation at FormulaTree
Add arguments validation rule