Atomic form processing

given this assertion should case_db be a required param?