Slavnov-Taylor constraints for non-trivial backgrounds