always try to match the current statement