add a choice to not use fix-point for instantiation method calls