Ich bin selbst gespannt, ob es da irgendwas gibt, aber ich denke dass dieses Problem prinzipiell nicht formalistisch gelöst werden kann. Nur mit Probieren und mit Erfahrung. Mit einer Simulation könnte man in Grenzen brute-forcen.