Created macros for precondition(), postcondition(), and test() as well as a test file for them
Initial commit