Constraint systems for useless variable elimination (Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages)