improved super rule computation. Yet run times are still miserable