Live variable analysis

prototype