debugging incorporate constraint