Actually enable U,V inference rules