Started writing flow-sensitive inference