CS390: Decision procedure to determine if a RL is empty

From Steven Zeil