Removed unnecessary clause in tycheckexp function