feat(checker.ml): add basic checks and expansion

1. check flow var declared
2. check time variable
3. expand identity formula