added tentative expression matching code, fixed minor logic formula error in readme