Refine semantics of Define/Assignment statements.
Delete sequence.ab.
Fix bugs
Working snapshot