add FlexibleInstances pragma directive