started porting GodelTest to julia and exploring how it can be done