add non-lazy constraints for Auto PFAd functions