add precondition to main function requiring PWD to be silk project