Session Codegen

View theory dependencies
View codegen