Validation is always enabled so it does not make sense to keep this option
dagOf
mkIf
enableBig
test.stubs