added --reduce option which does transitive reduction
call it version 0.0.1