Add support for generating modulo from problem statement