completed ccsatisfy
fixed definition of acc, added description of state-assertion