* h_program-lang/refactoring_code.ml: refactor, position is now optional
scheck: handle foreach list pattern in scheck/cmf variable checker

Summary: This currently makes the cron fails.

Test Plan:
unit test included
make test

Reviewers: pieter

Reviewed By: pieter

Differential Revision: https://phabricator.fb.com/D971556