Expression Checker start implementation