added flags for lifted pbvi
changed requiredTerms in policy to include only terms for non-guaranteed objs