Added parser for theory to ProB mappings