An inductive abstract semantics for coFJ