PROBPLUGIN-97: Fixed code to check whether an invariant is defined in the current machine or an abstract one.