premise tracking in constraints now too, seems to be correct.