fix the adapter for fixing path constraints for initial states