Added AllApplicationThreadsOnSameBoard Constraints + Tests