Add precondition, poscondition, and state invariant mappings to the mappings of abstract tests