splitted factor

deleted FactorTree,
added VariableTree, IntTree, IrrTree, BoolTree