Some updates to flopalyzer