Use refined discrimination tree

[JLimperg]

We should use Jovan Gerbscheid's "refined" discrimination tree to improve the precision of indexing when rules contain functions. This would likely make a massive difference for measurability and continuity, which apply essentially only rules containing functions.