Add ignored tests for static constraints