improve prune() heuristic. the search speed was increased. mem leaks fixed
Merge pull request #284 from AlexanderSavelyev/fmcs_port_21Feb2014

improve prune() heuristic. the search speed was increased. mem leaks fixed