Lifted Multirelations And Program Semantics