<t>template <typename S, typename T, class Node> Node BackwardInduction(Lattice<S,T,Node, typeBin>& lattice, const std::function<Node (const Node& upper,const Node& lower)>& generator, const std::function<Node (const Node& node)>& endCondition) Shuld BackwardInduction return ...