Usage of slapo-constraint to ensure existence of object