fixed codexpr bug reported by Michael Emmi; removed special handling of codexpr in InjectPostConditions
merge