Added NixAssert and NixIf prototypes