"theories/tests" did not exist on "dfrac-smart-constructor"