Give meaningful names to smt variables