expression checker finished