Mod accel_generate_state sig, set error codes defs, added precond def
Added beginning of accel end-to-end tests