fixed a bug in df(parameterized compare), added stub for rtu only, before
optimizing redundant to unleash its full strength
should I just say that I am lucky, but simple test passed, time to do
synthesis once more
well well well