add mp semantics test