Added function and program checking.
Merge branch 'assignment_and_new_compile' of https://github.com/WHET-PLT/wdjc into assignment_and_new_compile