fix for ability to lift a CSE out of an assign form when it depends on bindings in the assign and fuzz infra for testing

fix for ability to lift a CSE out of an assign form when it depends on bindings in the assign and fuzz infra for testing #560