Once a theory id has been decided need to have a make check function in checks.py.
The check function is then to be added as a decorator to all of the functions that take theoryid in input (see corresponding production rule). This is to avoid errors due to the use of theories that do not contain a simu_factors folder
Once a theory id has been decided need to have a make check function in
checks.py. The check function is then to be added as a decorator to all of the functions that taketheoryidin input (see corresponding production rule). This is to avoid errors due to the use of theories that do not contain asimu_factorsfolder