Xquasher: a tool for efficient computation of multiple linear expressions