Should solve PROBCORE-570 (if a ProB mapping in a .ptm file is not found for a given theory, a message is logged, but the Theory translation continues. This may result in an error being thrown at some time in the future.)