extended Analysis to include further assignments and first invocation