Add assertion framework; not working yet