Added missing theory min_lem.pvs