core: change the api of {mem,cpu} ctxt, add new flag for const expr,OpAff doesn't read left operand anymore