fixed dependency in theory mapping parser