printed theory is not valid anymore
Issue #922
new
IDP should not parse numbers from strings when not asked to
http://dtai.cs.kuleuven.be/krr/idp-ide/?src=1f14a1ed1022c81e78aedfcf9ed6a523