bugfix in get_cls_field
removed unnecessary code
set default argument for execute_command to be 0; added execute_command to SolverHelpers
generate methods for all fields in a module
new utility method in codegen_repo
let quantifier and some more expression operators
grandpa example