Adding functions to get the imprisonment expressions of a template and to translate them into value restriction equations
Adding functions to get the imprisonment expressions of a template and to translate them into value restriction equations

mverardo/CATemplates