<gh_stars>1-10
#Usage of decorators

#Tracing a function call

#Setting and checking pre- and post-conditions

#Synchronization

#Lazy calculations and function calls caching

#Retracing reccurrence

#Functions' arguments type checking