Licence information
This is a pre-copyedited, author-produced version of an article accepted for publication in LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science following peer review. The version of record is available http://dl.acm.org/citation.cfm?id=2934509
Copyright statements
Copyright 2016 held by Owner/Author. Publication Rights Licensed to ACM. Copyright © 2016 ACM